G. Sambin, S. Valentini; 1980; "The Modal Logic of Provability. The Sequential Approach" - Internet Explorer 2.0

G. Sambin, S. Valentini; 1980; "The Modal Logic of Provability. The Sequential Approach"